Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Constraint Logic
CLP, Logic Variables, Unification, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
11445
posts in
327.8
ms
Proof-oriented
Programming in F*
fstar-lang.org
·
2h
·
Discuss:
Lobsters
🔗
Dependent Types
pythological/kanren
: An extensible, lightweight relational/logic programming DSL written in pure Python
github.com
·
2d
📊
Datalog
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
1d
⚡
Comptime Parsers
D
Programming
Language
dlang.org
·
1h
·
Discuss:
Hacker News
🎯
Finite Automata
Building a Reliable AI Analytics Agent with
BigQuery
, a Semantic Layer, and Google
ADK
pub.towardsai.net
·
1d
🗄️
Database Internals
Dear
Agent:
Prove
it.
rijnard.com
·
2h
·
Discuss:
Hacker News
⚖️
Inference Rules
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
14h
·
Discuss:
Lobsters
🎭
Racket
Go -
Unit
&
Integration
Testing
linkedin.com
·
10h
·
Discuss:
r/programming
✅
Property Testing
Decomposing
Reasoning
Efficiency
in Large Language Models
arxiv.org
·
1d
🔄
Subinterpreters
Introduction
to SQL using
SQLite
: Node
SQLite
dev.to
·
3h
·
Discuss:
DEV
🗄️
SQLite
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
2d
·
Discuss:
Hacker News
🔬
programming language theory
AI
Automators
in Drupal. How to
Orchestrate
Multi-Step AI Workflows?
droptica.com
·
3h
🎭
Program Synthesis
Differential
Logic
• 4
inquiryintoinquiry.com
·
3d
📐
Mathematical Computing
Using
Databases
Without Putting Domain
Logic
in Them (2023)
alexkondov.com
·
11h
·
Discuss:
Lobsters
🗄️
Database Internals
Part 1 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🧠
Symbolic AI
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
1d
·
Discuss:
r/programming
🔀
Data Integration
Introduction To
Concurrency
|
Concurrency
Interview |
AlgoMaster.io
algomaster.io
·
16h
📡
Async Channels
A
note
on
parameterized
testing
blog.gnoack.org
·
7h
✅
Property Testing
Large Language Models for
Mortals
book
andrewpwheeler.com
·
20h
🌱
Minimal ML
How I Used Claude Code to
Teach
Myself
Rust
mlolson.github.io
·
14h
·
Discuss:
Hacker News
,
r/programming
🚂
Cranelift IR
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help